Update terminology from "panel" to "top bar" when Ctrl+Alt+Tab is pressed.

This is the term recommended for use by the Documentation Team.

diff --git a/js/ui/panel.js b/js/ui/panel.js
index a75cf3db212231847e4a37ede8b23cd2ee04a293..5ef212a93e65f95f668eb40a8690346675433ce3 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -974,7 +974,7 @@ Panel.prototype = {
                                                   affectsStruts: false,
                                                   affectsInputRegion: false });
 
-        Main.ctrlAltTabManager.addGroup(this.actor, _("Panel"), 'start-here',
+        Main.ctrlAltTabManager.addGroup(this.actor, _("Top Bar"), 'start-here',
                                         { sortGroup: CtrlAltTab.SortGroup.TOP });
     },